\begin{tabbing}
(\=(HypSubst ({-}4) 0) \+
\\[0ex]CollapseTHENA (((Auto$\cdot$) 
\\[0ex]CollapseTHEN (((DVar `L1') 
\\[0ex]CollapseTHEN (
\-\\[0ex](\=(All Reduce) \+
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$))$\cdot$))$\cdot$))$\cdot$
\-
\end{tabbing}